エルブランセマンティクス(Herbrand Semantics)